Nuprl Definition : st-data
11,40
postcript
pdf
data(
tab
;
n
) == ((
tab
.2.2)(
n
)).2.2
latex
Definitions
t
.2
FDL editor aliases
st-data
origin